Computer Science and Engineering - PDFSEARCH.IO - Document Search Engine

Computer Science and Engineering
Results: 6228

#	Item
511	If It Ain’t Broke, Don’t Fix It: Challenges and New Directions for Inferring the Impact of Software Patches Jon Oberheide, Evan Cooke, Farnam Jahanian Electrical Engineering and Computer Science Department University Add to Reading List Source URL: jon.oberheide.org Language: English - Date: 2015-10-11 18:23:02 Computing Engineering Software engineering Software maintenance Software quality Software testing Patch Debugging Reliability engineering Software Upgrade
512	From Stack Traces to Lazy Rewriting Sequences Stephen Chang1 , Eli Barzilay1 , John Clements2 , and Matthias Felleisen1 1 2 Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2012-08-23 01:56:39 Software engineering Computer programming Computing Functional languages Evaluation strategy Computability theory Lambda calculus Theoretical computer science Lazy evaluation Functional programming ALGOL 68 Racket
513	J Sci Educ Technol:127–147 DOIs10956Defining Computational Thinking for Mathematics and Science Classrooms David Weintrop1,2 • Elham Beheshti3 • Michael Horn1,2,3 • Kai Orton1,2 Add to Reading List Source URL: ccl.northwestern.edu Language: English - Date: 2016-05-03 12:24:06 Academia Engineering Knowledge Bioinformatics Formal sciences Computational thinking Computer science Neuroinformatics Complexity Mathematics Computational science Computational mathematics
514	Autonomous Fault Detection in Self-Healing Systems using Restricted Boltzmann Machines Chris Schneider School of Computer Science University of St Andrews Scotland, UK Add to Reading List Source URL: www.adambarker.org Language: English - Date: 2014-09-22 11:20:06 Computing Software System software Network management Artificial intelligence Systems engineering System administration Windows Management Instrumentation Autonomic computing Fault injection Fault detection and isolation Restricted Boltzmann machine
515	Department of Electrical Engineering and Computer Science MASSACHUSETTS INSTITUTE OF TECHNOLOGYDistributed System Engineering: SpringQuiz II Solutions Add to Reading List Source URL: nil.csail.mit.edu Language: English - Date: 2015-01-05 06:37:34 Computing Cryptocurrencies Concurrent computing Bitcoin Computer architecture Fault-tolerant computer systems Distributed algorithms Alternative currencies Paxos Memcached MapReduce Peer-to-peer
516	Department of Electrical Engineering and Computer Science MASSACHUSETTS INSTITUTE OF TECHNOLOGYDistributed System Engineering: FallQuiz I Add to Reading List Source URL: nil.csail.mit.edu Language: English - Date: 2015-01-05 06:37:34 Computing Inter-process communication Transmission Control Protocol Remote procedure call Ur Network file systems Computer network security
517	A Method for Evaluating Ontologies Introducing the BFO-Rigidity Decision Tree Wizard A. Patrice Seyed 1 and Stuart C. Shapiro Department of Computer Science and Engineering Center for Cognitive Science University at Buff Add to Reading List Source URL: ifomis.uni-saarland.de Language: English - Date: 2014-05-09 08:17:16 Information science Knowledge representation Technical communication Semantic Web Ontology Information Philosophy Upper ontology OntoClean Class Model theory Web Ontology Language
518	Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:37 Formal methods Software engineering Unified Modeling Language Concurrency Concurrency control Construction and Analysis of Distributed Processes Synchronization Theoretical computer science UML tool Mentor Graphics Computing
519	Norman Ramsey Associate Professor Department of Computer Science Tufts University Medford, MassachusettsEmail: Phone: + Add to Reading List Source URL: www.cs.tufts.edu Language: English - Date: 2013-11-25 15:39:10 Computer science Software engineering Computing Functional programming International Conference on Functional Programming Programming Language Design and Implementation Symposium on Principles of Programming Languages SIGPLAN ECL programming language Association for Computing Machinery Programming language theory
520	ISSN No: International Journal & Magazine of Engineering, Technology, Management and Research A Peer Reviewed Open Access International Journal Add to Reading List Source URL: www.ijmetmr.com Language: English - Date: 2015-06-09 08:18:16 Theoretical computer science Models of computation Logic gates Digital electronics Quantum information science Reversible computing Thermodynamics Toffoli gate Fredkin gate Adder Quantum computing Quantum circuit

UPDATE